home *** CD-ROM | disk | FTP | other *** search
/ Gekikoh Dennoh Club 5 / Gekikoh Dennoh Club Vol. 5 (Japan).7z / Gekikoh Dennoh Club Vol. 5 (Japan) (Track 01).bin / docs / rakup / match04.doc < prev    next >
Text File  |  1998-10-03  |  12KB  |  456 lines
  1. ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬
  2. (MATCH04.DOC)
  3.  é¿ïCèyé▓é¡éτé¡âvâìâOâëâ~âôâOôⁿûσ ö╘èOò╥ üuâGâLâXâpü[âgâVâXâeâÇé╠ì∞ɼüv
  4.                                                                ìLêΣü@É╜ 
  5. ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬ä¬
  6.  
  7. ü¢âGâLâXâpü[âgâVâXâeâÇé╞ Prolog
  8.  
  9.   éóéµéóéµìíë±é╠û┌ôIé┼éáéΘüAâGâLâXâpü[âgâVâXâeâÇé╠ì∞ɼé╔Éié▌é▄é╡éσéñüBâG
  10.  
  11. âLâXâpü[âgâVâXâeâÇé╞é═üAÉΩûσë╞é╠ÆmÄ»é≡âRâôâsâàü[â^é╔ïLë»é╡é─é¿é½üAé╗éΩé≡
  12.  
  13. Ägé┴é─ûΓæΦé≡ë≡îêé╖éΘüAéáéΘéóé═üAûΓæΦë≡îêé╠é╜é▀é╠ÄΦÅòé»é≡ìséñéµéñé╔ì∞éτéΩ
  14.  
  15. é╜âVâXâeâÇé┼é╖üBìíë±ì∞éΘâvâìâOâëâÇé═üAé▒é╠éµéñé╚ô∩é╡éóâVâXâeâÇé┼é═éáéΦé▄
  16.  
  17. é╣é±üBâpâ^ü[âôâ}âbâ`âôâOé╞âoâbâNâgâëâbâNé≡ægé▌ìçéφé╣éΘé▒é╞é┼üAâfü[â^é╠Æå
  18.  
  19. é⌐éτë≡ôÜé≡ô▒é½Åoé╗éñüAé╞éóéñéαé╠é┼é╖üBÄ└é≡éóéñé╞âpâ^ü[âôâ}âbâ`âôâOé╞âoâb
  20.  
  21. âNâgâëâbâNé≡ï@ö\é╔Ä¥é┬âvâìâOâëâ~âôâOî╛îΩé¬éáéΘé╠é┼é╖üBé╗éΩ鬠Prolog é┼é╖üB
  22.  
  23. é╡é╜é¬é┴é─üAìíë±ì∞éΘâGâLâXâpü[âgâVâXâeâÇé═üuÆ┤è╚ê╒ Prolog âCâôâ^âvâèâ^üv
  24.  
  25. é╞ìléªéΘé▒é╞éαé┼é½é▄é╖üBé▒é▒é┼ Prolog é╔é┬éóé─Éαû╛é╡é▄é╡éσéñüB
  26.  
  27.  
  28. ü¢Prolog é╞é═üH
  29.  
  30.   Prolog é═üA1971öNâtâëâôâXé╠â}âïâZâCâåæσèwé╠ Alain Colmeraur é╔éµé┴é─èJ
  31.  
  32. ö¡é│éΩé╜âvâìâOâëâ~âôâOî╛îΩé┼é╖üBô·û{é┼ìséφéΩé╜æµî▄ÉóæπâRâôâsâàü[â^âvâìâWâF
  33.  
  34. âNâgé┼üAÆåèjé╞é╚éΘâvâìâOâëâ~âôâOî╛îΩé╞é╡é─ì╠ùpé│éΩüAêΩû⌠ùLû╝é╔é╚éΦé▄é╡é╜üB
  35.  
  36. X-BASIC éΓébî╛îΩé¬ÄΦæ▒é½î^î╛îΩüALisp é¬è╓Éöî^î╛îΩé╞î─é╬éΩé─éóéΘé╠é╔æ╬é╡üA
  37.  
  38. Prolog é═ÿ_ù¥î^î╛îΩé╞î─é╬éΩé─éóé▄é╖üBé▒éΩé═ Prolog é╠îvÄZé╠Ädægé▌é¬üAÿ_
  39.  
  40. ù¥èwé≡èεæbé╔é╡é─ɼéΦùºé┴é─éóéΘé⌐éτé┼é╖üB
  41.  
  42.   Prolog é═üAò¿Äûé╠è╘é╔ɼéΦùºé┬è╓îWé≡ÆΦï`é╡é─éóé¡é▒é╞é┼âvâìâOâëâ~âôâOé╡
  43.  
  44. é─éóé½é▄é╖üBé╗é╡é─üAéαé┴é╞éαèεû{ôIé╚è╓îWé≡ò\é╡é╜éαé╠é≡üuÄûÄ└üvé╞éóéóé▄é╖üB
  45.  
  46. Prolog é╠âvâìâOâëâÇé═üAé▒é╠ÄûÄ└è╓îWé≡ûΓéóìçéφé╣éΘé▒é╞é┼ô«ì∞é╡é▄é╖üBé╖é╚
  47.  
  48. éφé┐üAProlog é═ìíé▄é┼ÆΦï`é│éΩé╜ÄûÄ└é≡ÄQÅ╞é╡é─üAù^éªéτéΩé╜Ä┐ûΓé╠ôÜé≡ô▒é½
  49.  
  50. Åoé╖î╛îΩüAé╞éóé┴é─éαéóéóé┼é╡éσéñüBé╜é╞éªé╬üA
  51.  
  52.  
  53.   æ╛ÿYé═âRü[âqü[é¬ìDé½é┼éáéΘüB
  54.  
  55.  
  56. é╞éóéñè╓îWé¬éáéΘé╞üA
  57.  
  58.  
  59.   é╛éΩé¬âRü[âqü[é≡ìDé½é⌐üH => æ╛ÿY
  60.  
  61.   æ╛ÿYé═é╚é╔é¬ìDé½é⌐üH     => âRü[âqü[
  62.  
  63.  
  64. é╞éóé┴é╜Ä┐ûΓé╔ôÜéªéΘé▒é╞é¬é┼é½é▄é╖üBÄ└ì█é╔é═üAé▒é╠éµéñé╚ô·û{îΩé≡Ägé┴é─âv
  65.  
  66. âìâOâëâÇé┼é½é╚éóé╠é┼üAò╢Å═é╠Æåé╠üuÅqîΩüvé≡ÆåÉSé╔é╡é─üAÄûÄ└é≡ăé╠éµéñé╔ò\
  67.  
  68. é╡é▄é╖üB
  69.  
  70.  
  71.   ìDé½(æ╛ÿY, âRü[âqü[).
  72.  
  73.  
  74. é▒éΩé═âGâWâôâoâë Prolog é╞éóéñÅêù¥în[*3]é┼é╠ò\î╗ò√û@é┼é╖üBæ╝é╠ùßéαĪé╡é▄
  75.  
  76. é╡éσéñüB
  77.  
  78.  
  79.   üuæ╛ÿYé═âRâRâAé¬ìDé½üv --> ìDé½(æ╛ÿY, âRâRâA).
  80.  
  81.   üuë╘Äqé═ìgÆâé¬ìDé½üv   --> ìDé½(ë╘Äq, ìgÆâ).
  82.  
  83.  
  84. é▒é╠éµéñé╔üAè╓îWé≡Īé╖î╛ùté≡êΩö╘æOé╔Ä¥é┴é─é½é─ò\î╗é╖éΘò√û@é≡üAüuÅqîΩò\ïLüv
  85.  
  86. é╞éóéóé▄é╖üBîπéδé╔æ▒é¡î╛ùté≡ê°Éöé╞éóéóé▄é╖üBé╖é╚éφé┐ Prolog é┼é═üA
  87.  
  88.  
  89.   ÅqîΩ(ê°Éö, ... ê°Éö).
  90.  
  91.  
  92. é╞éóéñî`é┼ÄûÄ└é≡ò\î╗é╡é▄é╖üBì┼îπé╠âsâèâIâhé≡Å£é»é╬üAX-BASIC éΓébî╛îΩé╠è╓
  93.  
  94. Éöé╞î`é═éµé¡Äùé─éóé▄é╖é╦üB
  95.  
  96.  
  97.   é╗éΩé┼é═üAÄ└ì█é╔ìíé▄é┼Åoé╜ùßé≡ Prolog é╔ôⁿù═é╡é─é▌é▄é╖üB
  98.  
  99.  
  100.  | ìDé½( æ╛ÿY, âRü[âqü[).
  101.  
  102.  
  103.   | é═ Prolog âCâôâ^âvâèâ^é╠âvâìâôâvâgé≡ò\é╡é─éóé▄é╖üBé▒é╠ÄûÄ└é═ Prolog
  104.  
  105. ôαé╔éáéΘâfü[â^âxü[âXé╔èiö[é│éΩé▄é╖üBé╗éΩé┼é═üAæ╛ÿYé¬âRü[âqü[é≡ìDé½é⌐üAé╜
  106.  
  107. é╕é╦é─é▌é▄é╡éσéñüBÄ┐ûΓé╖éΘÅΩìçé═ ?- é≡Ägéóé▄é╖üB
  108.  
  109.  
  110.  | ?-ìDé½(æ╛ÿY, âRü[âqü[).
  111.  yes
  112.  
  113.  
  114. é▄éáüAé▒éΩé═ôûé╜éΦæOé┼é╖é╦üBé┼é═üAë╘Äqé═ìgÆâé¬ìDé½é⌐üAé╜é╕é╦é─é▌é▄é╡éσéñüB
  115.  
  116.  
  117.  | ?-ìDé½(ë╘Äq, ìgÆâ).
  118.  no
  119.  
  120.  
  121.   é▒éΩé═üAüuë╘Äqé═ìgÆâé¬ìDé½é┼éáéΘüvé╞éóéñÄûÄ└é¬é╚éóé╠é┼üAProlog é═êßéñ
  122.  
  123. é╞éóé┴é─é½é╜é╠é┼é╖üBé┼é═üAÆΦï`é╡é─é▌é▄é╡éσéñüB
  124.  
  125.  
  126.  | ìDé½(ë╘Äq, ìgÆâ).
  127.  | ?-ìDé½(ë╘Äq, ìgÆâ).
  128.  yes
  129.  
  130.  
  131.   ìíôxé═üAé╗éñé╛éµé╞éóé┴é─é½é▄é╡é╜üB
  132.  
  133.   éáéΘÄûÄ└é╔æ╬é╡é─üAyes, no é╡é⌐é╜é╕é╦éΘé▒é╞é¬é┼é½é╚éóé╠é┼éáéΩé╬üAé¿éαé╡
  134.  
  135. éδé¡éáéΦé▄é╣é±é╦üBÄûÄ└é¬æ¥éªé─é¡éΘé╞üAé╜é╞éªé╬üAæ╛ÿYé¬ìDé½é╚éαé╠é═ë╜é⌐üH
  136.  
  137. é╞é⌐üAâRü[âqü[é≡ìDé½é╚Élé═ÆNé⌐üHüAé╞éóé┴é╜Ä┐ûΓé≡é╡é╜éóé╞Ävéñé┼é╡éσéñüBéα
  138.  
  139. é┐éδé± Prolog é═üAé╗é╠éµéñé╚Ä┐ûΓé≡Ä≤é»òté»éΘé▒é╞é¬é┼é½é▄é╖üBé╗é╠é╜é▀é╔é═
  140.  
  141. üuò╧Éöüvé≡Ägéóé▄é╖üBProlog é╠ò╧Éöé═âpâ^ü[âôâ}âbâ`âôâOé╞ô»é╢ô¡é½é≡é╡é▄é╖üB
  142.  
  143. âGâWâôâoâë Prolog é┼é═üAö╝èpëpæσò╢ÄÜé⌐éτÄné▄éΘû╝æOé≡ò╧Éöé╞é╡é─ê╡éóé▄é╖üB
  144.  
  145.  
  146. üyò╧Éöé╠ùßüz  X Y Z Prolog Lisp Abc
  147.  
  148. üyû╝æOé╠ùßüz  x y z prolog lisp abc ò╧Éö
  149.  
  150.  
  151. ìíë±ì∞ɼé╡é╜âpâ^ü[âôâ}âbâ`âôâOé╠âpâ^ü[âôò╧Éöé╞ô»é╢é┼é╖é╦üBÄ└é═üAâGâWâôâo
  152.  
  153. âë Prolog é┼é╠Ädùlé≡ÄQìlé╔é╡é╜é╠é┼é╖üBProlog é╔é═ăé╠ÄûÄ└
  154.  
  155.  
  156.   ìDé½(æ╛ÿY, âRü[âqü[).
  157.  
  158.   ìDé½(ë╘Äq, ìgÆâ).
  159.  
  160.   ìDé½(æ╛ÿY, âRâRâA).
  161.  
  162.  
  163. é¬ôⁿù═é│éΩé─éóéΘéαé╠é╞é╡é─üAæ╛ÿYé¬ìDé½é╚éαé╠é═ë╜é⌐Ä┐ûΓé╡é─é▌é▄é╡éσéñüB
  164.  
  165.  
  166.  | ?-ìDé½(æ╛ÿY, X).
  167.  X = âRü[âqü[ ->
  168.  
  169.  
  170.   -> é═æ╝é╠ë≡ôÜé≡Æ▓é╫éΘé⌐üAProlog é¬é╜é╕é╦é─éóéΘé▒é╞é≡Īé╖ïLìåé┼é╖üBé▒é▒
  171.  
  172. é┼ ; é≡ôⁿù═é╖éΘé╞üAProlog é═ò╩é╠ë≡ôÜé≡ÆTé╡é▄é╖üB
  173.  
  174.   é╗éΩé┼é═üAò╩é╠ë≡é¬éáéΘé⌐Æ▓é╫é─é▌é▄é╡éσéñüB
  175.  
  176.  
  177.  X = âRü[âqü[ -> ;
  178.  X = âRâRâA -> ;
  179.  no
  180.  
  181.  
  182.   Prolog é╠ò╧Éöé═üAâpâ^ü[âôâ}âbâ`âôâOé╞ô»ùlé╔òíÉöÄgéñé▒é╞éαé┼é½é▄é╖üB
  183.  
  184.   ?-ìDé½(X, Y).
  185.  
  186. é╞Ä┐ûΓé╖éΩé╬üAüuìDé½üvé╞éóéñè╓îWé≡éαé┬æSé─é╠ÄûÄ└é≡ïüé▀éΘé▒é╞é¬é┼é½é▄é╖üB
  187.  
  188. é╜é╛é╡üAÅqîΩé╠òöò¬é≡ò╧Éöé╔é╖éΘé▒é╞é═é┼é½é▄é╣é±üB
  189.  
  190.  
  191.  | ?-ìDé½(X, Y).
  192.  X = æ╛ÿY
  193.  Y = âRü[âqü[ -> ;
  194.  X = ë╘Äq
  195.  Y = ìgÆâ -> ;
  196.  X = æ╛ÿY
  197.  Y = âRâRâA -> ;
  198.  no
  199.  
  200.  
  201.   ò╩ë≡é≡ïüé▀éΘÅΩìçé═üAæπôⁿé│éΩé╜ò╧Éöé≡ûóæ⌐ö¢é╠Å≤æ╘é╔û▀é╡é▄é╖üBé╗é╡é─ăé╔
  202.  
  203. ÆΦï`é│éΩé─éóéΘÄûÄ└é╞â}âbâ`âôâOé≡ìséóé▄é╖üBé┬é▄éΦüAâoâbâNâgâëâbâNé╖éΘé▒é╞
  204.  
  205. é┼üAâfü[â^âxü[âXæSæ╠é≡îƒì⌡é╖éΘéφé»é┼é╖üB
  206.  
  207.  
  208. note:
  209.  
  210.  [*3] âCâMâèâXé╠âGâWâôâoâëæσèwé┼ì∞éτéΩé╜Åêù¥îné┼üAProlog é╠òWÅÇé╞é│éΩé─
  211.       éóé▄é╖üB
  212.  
  213.  
  214. ü¢Prolog é╠âvâìâOâëâÇé╞é═üH
  215.  
  216.   Prolog é═òíÉöé╠ÄûÄ└é≡ùpéóé─êΩé┬é╠ÄûÄ└é≡ò\é╖é▒é╞é¬é┼é½é▄é╖üBé▒éΩé≡üuïK
  217.  
  218. æÑüvé╞éóéóé▄é╖üBêΩö╩é╔ïKæÑé═ăé╠éµéñé╚î`é≡é╞éΦé▄é╖üB
  219.  
  220.  
  221.         head :- goal1, goal2, ... goalN.
  222.  
  223.  
  224.   é▒éΩé═üAgoal1 é⌐éτ goalN é▄é┼é╠ïKæÑé¬æSé─ɼéΦùºé─é╬ïKæÑ head é¬É¼ùºé╖
  225.  
  226. éΘüAé╞éóéñé▒é╞é≡ò\é╡é▄é╖üBé┬é▄éΦüAïKæÑé≡üuü`é⌐é┬ü`üv(AND)é┼îïé╤é┬é»é─éó
  227.  
  228. éΘé╠é┼é╖üBɵô¬é╠ head é≡ô¬òöé╞éóéóüAÄcéΦé╠ goal é≡é▄é╞é▀é─æ╠òöé╞éóéóé▄é╖üB
  229.  
  230. é▄é╜üAèeüXé╠ goal é≡üuâSü[âïüvé╞éóéóé▄é╖üBé╗é╡é─üAÄûÄ└üAïKæÑé¿éµé╤Ä┐ûΓé╠
  231.  
  232. é▒é╞é≡é▄é╞é▀é─üuÉ▀(clause)üvé╞î─é╤é▄é╖üBô±ò¬û╪é╠üuÉ▀üvé╞é═êßéñé╠é┼Æìê╙é╡
  233.  
  234. é─é¡é╛é│éóé╦üBè╚ÆPé╚ùßé≡Īé╡é▄é╖üB
  235.  
  236.  
  237.  | ö≥é╘(X) :- ö≥ìsï@(X).
  238.  
  239.  | ö≥ìsï@(âWâFâbâgï@).
  240.  
  241.  | ö≥ìsï@(âwâèâRâvâ^ü[).
  242.  
  243.  
  244.   ì┼Åëé╠É▀é═üAüuö≥ìsï@é═ï≤é≡ö≥é╘üvé╞éóéñïKæÑé≡ò\é╡é─éóé▄é╖üBăé╠éQé┬é╠É▀
  245.  
  246. é═üAüuâWâFâbâgï@é═ö≥ìsï@é┼éáéΘüvé╞üuâwâèâRâvâ^ü[é═ö≥ìsï@é┼éáéΘüvé╞éóéñÄû
  247.  
  248. Ä└é≡ò\é╡é─éóé▄é╖üBé▒é╠é▒é╞é⌐éτüAüuâWâFâbâgï@é═ï≤é≡ö≥é╘üvé╞éóéñîïÿ_é≡ô▒é¡
  249.  
  250. é▒é╞é¬é┼é½é▄é╖üBé┼é═üAProlog é╔Ä┐ûΓé╡é─é▌é▄é╡éσéñüB
  251.  
  252.  
  253.  | ?-ö≥é╘(âWâFâbâgï@).
  254.  yes
  255.  
  256.  
  257.   é╗éΩé┼é═üAæ╛ÿYîNé¬ï≤é≡ö≥é╫éΘé⌐üAÄ┐ûΓé╡é─é▌é▄é╡éσéñüB
  258.  
  259.  
  260.  | ?-ö≥é╘(æ╛ÿY).
  261.  no
  262.  
  263.  
  264.   æ╛ÿYîNé═ï≤é≡ö≥é╫é▄é╣é±üBé╞é▒éδé┼üAï≤é≡ö≥é╫éΘé╠é═ö≥ìsï@é╛é»é┼é═éáéΦé▄é╣
  265.  
  266. é±üBâXü[âpü[â}âôéαï≤é≡ö≥é╫é▄é╖üBÄ└é═üAæ╛ÿYîNé═é╚é±é╞âXü[âpü[â}âôé╛é┴é╜é╠
  267.  
  268. é┼é╖üBé╗é╠ïKæÑé≡Æ╟ë┴é╡é▄é╡éσéñüB
  269.  
  270.  
  271.  | ö≥é╘(X) :- âXü[âpü[â}âô(X).
  272.  | âXü[âpü[â}âô(æ╛ÿY).
  273.  
  274.  
  275.   ì─é╤üAæ╛ÿYîNé¬ö≥é╫éΘé⌐üAÄ┐ûΓé╡é─é▌é▄é╖üB
  276.  
  277.  
  278.  | ?-ö≥é╘(æ╛ÿY).
  279.  yes
  280.  
  281.  
  282.   æ╛ÿYîNé═ï≤é≡ö≥é╘é▒é╞é¬é┼é½é▄é╡é╜üBò╧Éöé≡Ägéñé╞üAï≤é≡ö≥é╫éΘéαé╠é¬æSé─éφ
  283.  
  284. é⌐éΦé▄é╖üB
  285.  
  286.  
  287.  | ?-ö≥é╘(Y).
  288.  Y = âWâFâbâgï@ -> ;
  289.  Y = âwâèâRâvâ^ü[ -> ;
  290.  Y = æ╛ÿY -> ;
  291.  no
  292.  
  293.  
  294. é╗éΩé┼é═üAProlog é╠ô«ì∞é≡Å┌ì╫é╔Æ╟éóé⌐é»é─é▌é▄é╡éσéñüB
  295.  
  296.  
  297.         ?-ö≥é╘(Y).
  298.           äá
  299.           äá   head é╞â}âbâ`âôâOé╖éΘÉ▀é≡ÆTì⌡é╖éΘ
  300.           ü½
  301.         ö≥é╘(X) :- ö≥ìsï@(X).
  302.  
  303.                 É} 10 : âpâ^ü[âôâ}âbâ`âôâOé╖éΘô¬òöé╠ÆTì⌡
  304.  
  305.  
  306.   é▄é╕Ä┐ûΓé╞É▀é╠ô¬òöé≡âpâ^ü[âôâ}âbâ`âôâOé╡üAé╗éΩé╔ɼî≈é╖éΘÉ▀é≡æIé╤é▄é╖üB
  307.  
  308. é▒é╠ùßé┼é═ ö≥é╘(Y) é╞ ö≥é╘(X) é¬âpâ^ü[âôâ}âbâ`âôâOé╔ɼî≈é╡é▄é╖üBò╧Éöé≡è▄
  309.  
  310. é▐âpâ^ü[âôô»Ämé╠â}âbâ`âôâOé┼é╖é⌐éτüAâåâjâtâBâPü[âVâçâôé¬ìséφéΩéΘéφé»é┼é╖üB
  311.  
  312. é▒éΩé╔éµéΦò╧Éö Y é╞ X é¬è╓ÿAòté»éτéΩé▄é╖üB
  313.  
  314.  
  315.         ?-ö≥é╘(Y).    Y -> X -> âWâFâbâgï@ => Y = âWâFâbâgï@
  316.           äá ü¬
  317.           äá äá  X = âWâFâbâgï@
  318.           ü½ äá
  319.          ö≥é╘(X) :- ö≥ìsï@(X).
  320.                     ^^^^^^^^^^  âSü[âïé≡Ä└ìsé╖éΘ
  321.                        äá ü¬
  322.       head é╞â}âbâ`âôâOäá äá  X é╞âWâFâbâgï@é¬â}âbâ`âôâO
  323.      é╖éΘÉ▀é≡ÆTì⌡é╖éΘ  äá äá
  324.                        ü½ äá
  325.                      ö≥ìsï@(âWâFâbâgï@).
  326.                      ö≥ìsï@(âwâèâRâvâ^ü[).
  327.  
  328.                           É} 11 : âSü[âïé╠Ä└ìs
  329.  
  330.  
  331.   Äƒé╔üAæ╠òöé╠Ä└ìsé╔ê┌éΦé▄é╖üBæ╠òöé╠Ä└ìsé═âSü[âïé≡Åçö╘é╔Ä┐ûΓé╡é─éóé¡é▒é╞
  332.  
  333. é╞ô»é╢é┼é╖üBé▒é╠ÅΩìçüAö≥ìsï@(X) é¬Ä└ìsé│éΩüAé▒éΩé╞âpâ^ü[âôâ}âbâ`âôâOé╖éΘ
  334.  
  335. É▀é¬æIæ≡é│éΩé▄é╖üBé╗é╠îïë╩üAö≥ìsï@(âWâFâbâgï@) é╞â}âbâ`âôâOé╡üAò╧Éö X é═
  336.  
  337. üuâWâFâbâgï@üvé╞éóéñÆlé╔é╚éΦé▄é╖üBæIæ≡é│éΩé╜É▀é═ÄûÄ└é╚é╠é┼üAÄ└ìsé╖éΘæ╠òö
  338.  
  339. é═éáéΦé▄é╣é±üBî│é╠É▀é╔û▀éΦé▄é╖é¬üAăé╔Ä└ìsé╖éΘâSü[âïé═é╚éóé╠é┼üAé▒é╠É▀é¬
  340.  
  341. ɼî≈é╡é╜é▒é╞é╔é╚éΦé▄é╖üBé╡é╜é¬é┴é─üAö≥é╘(X) é═ɼî≈é╖éΘé╠é┼é╖üBé╗é╠îπüAÄ┐
  342.  
  343. ûΓé╠É▀é╔û▀éΦüAY é═ X é╞â}âbâ`âôâOé╡é─éóéΘé╠é┼üA é╗é╠Ælé¬üuâWâFâbâgï@üvé╞
  344.  
  345. é╚éΦé▄é╖üB
  346.  
  347.  
  348.        ?-ö≥é╘(Y).    Y -> X -> âwâèâRâvâ^ü[
  349.           äá ü¬
  350.           äá äá X = âwâèâRâvâ^ü[
  351.           ü½ äá
  352.          ö≥é╘(X) :- ö≥ìsï@(X).  ì─ÄÄìsé╖éΘÄ₧é═ò╧Éöé≡Ä⌐ùRò╧Éöé╔é╡é─
  353.                     ^^^^^^^^^^   é⌐éτâSü[âïé≡Ä└ìsé╖éΘ
  354.                        äá ü¬
  355.                        äá äá  X é╞âwâèâRâvâ^ü[é¬â}âbâ`âôâO
  356.                        äá äá
  357.                        ü½ äá
  358.                      ö≥ìsï@(âwâèâRâvâ^ü[).
  359.                  ü~  ö≥ìsï@(âWâFâbâgï@).
  360.  
  361.                         É} 12 : ì─ÄÄìsüié╗é╠éPüj
  362.  
  363.  
  364.   é│é─üAò╩ë≡é≡ÆTì⌡é╖éΘÅΩìçé╠é▒é╞é≡Éαû╛é╡é▄é╡éσéñüBò╩ë≡é≡ÆTì⌡é╖éΘé▒é╞é≡
  365.  
  366. üuì─ÄÄìsüvé╞éóéóé▄é╖üBì─ÄÄìsé╖éΘÅΩìçüAêΩö╘ì┼îπé╔Ä└ìsé╡é╜âSü[âïé⌐éτìséφéΩ
  367.  
  368. é▄é╖üBé▒é╠Ä₧üAæ⌐ö¢é│éΩé╜ò╧Éöé═Ä⌐ùRò╧Éöé╔û▀é│éΩé▄é╖üBì┼Åëé╔üAö≥ìsï@(X) é¬
  369.  
  370. ì─ÄÄìsé│éΩé▄é╖üBé▄é╕üAò╧Éö X é¬Ä⌐ùRò╧Éöé╔û▀é│éΩé▄é╖üBö≥ìsï@(X) é╠Ä└ìsé╔
  371.  
  372. éµé┴é─æ⌐ö¢é│éΩé╜ò╧Éöé≡Ä⌐ùRò╧Éöé╔û▀é╖é╠é┼éáé┴é─üAé╗éΩê╚æOé╔æ⌐ö¢é│éΩé╜ò╧Éö
  373.  
  374. é═Ä⌐ùRò╧Éöé╔û▀é╡é▄é╣é±üBé╗é╡é─üAö≥ìsï@(X) é╞â}âbâ`âôâOé╖éΘÉ▀é≡ì─ôxÆTì⌡é╡
  375.  
  376. é▄é╖üBé▒é╠Ä₧üAé╖é┼é╔â}âbâ`âôâOé╡é╜ ö≥ìsï@(âWâFâbâgï@) é═üAÆTì⌡é╠æ╬Å█é⌐éτ
  377.  
  378. èOé│éΩé▄é╖üBìíôxé═ ö≥ìsï@(âwâèâRâvâ^ü[) é╞â}âbâ`âôâOé╡é▄é╡é╜üBX é╠Ælé═
  379.  
  380. üuâwâèâRâvâ^ü[üvé╔ÆΦé▄éΦé▄é╖üBö≥é╘(X) é¬É¼î≈é╡é╜é╠é┼üAé▒é╠ì─ÄÄìséαɼî≈é┼
  381.  
  382. é╖üBY = âwâèâRâvâ^ü[ é╞éóéñîïë╩é╔é╚éΦé▄é╖üB
  383.  
  384.  
  385.                   Y -> X -> æ╛ÿY => Y = æ╛ÿY
  386.        ?-ö≥é╘(Y) ü⌐äƒäƒäƒäƒäƒäƒäƒäƒäó
  387.          äáü¬äñäƒäƒäƒäƒäƒäƒäƒäƒäƒäóäá
  388.          äáäá                    äáäá X = æ╛ÿY
  389.          äáäáÄ╕ös          ì─ÄÄìsäáäá
  390.          ü½äá                    ü½äá
  391.          ö≥é╘(X) :- ö≥ìsï@(X).  ö≥é╘(X) :- âXü[âpü[â}âô(X).
  392.                     ^^^^^^^^^^             ^^^^^^^^^^^^^^^^
  393.                        äá ü¬ Ä╕ös               äá ü¬
  394.                        ü½ äá                    ü½ äá
  395.                  ü~ ö≥ìsï@(âwâèâRâvâ^ü[).  âXü[âpü[â}âô(æ╛ÿY).
  396.                  ü~ ö≥ìsï@(âWâFâbâgï@).
  397.  
  398.                         É} 13 : ì─ÄÄìsüié╗é╠éQüj
  399.  
  400.  
  401.   ì─ôxì─ÄÄìsé╡é▄é╡éσéñüBö≥ìsï@(X) é≡Ä└ìsé╖éΘé┼é╖é¬üAé▒éΩê╚ÅπÄûÄ└é═ÆΦï`é│
  402.  
  403. éΩé─éóé▄é╣é±üBé╡é╜é¬é┴é─üAö≥ìsï@(X) é═Ä╕ösé╡é▄é╖üBÄ╕ösé╡é╜ÅΩìçé═üAéPé┬æO
  404.  
  405. é╠âSü[âïé≡ì─ÄÄìsé╡é▄é╖üBæSé─é╠âSü[âïé╠ì─ÄÄìsé╔Ä╕ösé╡é╜éτüAé╗é╠É▀é═Ä╕ösé╞
  406.  
  407. é╚éΦé▄é╖üBé▒é╠ÅΩìçüAì─ÄÄìsé╖éΘâSü[âïé═éáéΦé▄é╣é±é╠é┼üAïKæÑ
  408.  
  409.         ö≥é╘(X) :- ö≥ìsï@(X). 
  410.  
  411. é¬Ä╕ösé╡é▄é╖üBÉ▀é¬Ä╕ösé╡é╜ÅΩìçé═üAé╗é╠É▀é≡î─é╤Åoé╡é╜É▀é≡ì─ÄÄìsé╡é▄é╖üBé▒
  412.  
  413. é╠ÅΩìçüAÄ┐ûΓ ö≥é╘(Y) é≡ì─ÄÄìsé╡é▄é╖üBö≥é╘(Y) é╞â}âbâ`âôâOé╖éΘÉ▀é≡ÆTé╖é╞üA
  414.  
  415.         ö≥é╘(X) :- âXü[âpü[â}âô(X).
  416.  
  417. é¬î⌐é┬é⌐éΦé▄é╖üBìíôxé═üAé▒é╠É▀é≡Ä└ìsé╡é▄é╖üBô»é╢éµéñé╔âSü[âïé≡Ä└ìsé╡é─üA
  418.  
  419. üuæ╛ÿYüvé╞éóéñôÜéªé¬î⌐é┬é⌐éΦé▄é╖üB
  420.  
  421.  
  422.                   Ä╕ös
  423.        ?-ö≥é╘(Y) ü⌐äƒäƒäƒäƒäƒäƒäƒäƒäó
  424.              äñäƒäƒäƒäƒäƒäƒäƒäƒäƒäóäá
  425.                                  äáäá Ä╕ös
  426.                            ì─ÄÄìsäáäá
  427.                                  ü½äá
  428.     ü~ö≥é╘(X) :- ö≥ìsï@(X).     ö≥é╘(X) :- âXü[âpü[â}âô(X).
  429.                  ^^^^^^^^^^                ^^^^^^^^^^^^^^^^
  430.                     äá ü¬ Ä╕ös               äá ü¬
  431.                     ü½ äá                    ü½ äá
  432.               ü~ ö≥ìsï@(âwâèâRâvâ^ü[).  ü~ âXü[âpü[â}âô(æ╛ÿY).
  433.               ü~ ö≥ìsï@(âWâFâbâgï@).
  434.  
  435.                         É} 14 : ì─ÄÄìsüié╗é╠éRüj
  436.  
  437.  
  438.   ì─ôxì─ÄÄìsé╡é▄é╖üBé▄é╕üAâXü[âpü[â}âô(X) é≡ì─ÄÄìsé╡é▄é╖é¬üAâ}âbâ`âôâOé╖
  439.  
  440. éΘÉ▀é¬î⌐é┬é⌐éΦé▄é╣é±üBïKæÑ
  441.  
  442.         ö≥é╘(X) :- âXü[âpü[â}âô(X).
  443.  
  444. é═Ä╕ösé╡é▄é╖üBé╗é╡é─üAÄ┐ûΓ ?-ö≥é╘(Y). é≡ì─ÄÄìsé╡é▄é╖é¬üAéαé═éΓâ}âbâ`âôâO
  445.  
  446. é╖éΘÉ▀é═éáéΦé▄é╣é±üBö≥é╘(Y) é═Ä╕ösé╡é▄é╖üBö≥é╘(Y) é═Ä┐ûΓé┼é╡é╜é⌐éτ no é╞
  447.  
  448. éóéñîïë╩é¬ò\Īé│éΩé▄é╖üB
  449.  
  450.   é▒éΩ鬠Prolog é╠èεû{ôIé╚ô«ì∞é┼é╖üB
  451.  
  452.  
  453.  
  454.  
  455. üiédénéeüj
  456.